1. Calendrical calculations :
پدیدآورنده: Edward M. Reingold, Illinois Institute of Technology, Chicago, Nachum Dershowitz, Tel Aviv University, Israel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calendar-- Mathematics.,Calendars.,Calendar-- Mathematics.
رده :
CE12
.
R45
2017
2. Calendrical calculations
پدیدآورنده: Nachum Dershowitz, Edward M. Reingold
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Calendar
رده :
CE
12
.
D47
3. Calendrical calculations
پدیدآورنده: / Edward M. Reingold, Nachum Dershowitz
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Calendar ــ Mathematics
رده :
CE
12
.
R45
2001
4. Calendrical calculations
پدیدآورنده: Edward M. Reingold, Nachum Dershowitz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Calendar
رده :
CE
12
.
R4
2001
5. Calendrical tabulations, 1900-2200
پدیدآورنده: / Edward M. Reingold, Nachum Dershowitz
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Calendar ــ Mathematics,Computer algorithms ــ Mathematics,Chronology, Historical ــ Mathematics
رده :
CE
12
.
R46
2002
6. Calendrical tabulations 1900 - 2200
پدیدآورنده: / Edward M. Reingold and Nachum Dershowitz.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: گ‍اه‍ن‍ام‍ه -- ریاضیات.,گ‍اه‍ن‍ام‍ه -- ج‍دول‍ه‍ای ت‍ب‍دی‍ل.,ال‍گ‍وری‍ت‍م‍ه‍ای کامپیوتری.,گ‍اه‍ش‍م‍اری ت‍اری‍خ‍ی.
رده :
BibCE
۱۲
/
ر
۲
ک
۸ ۱۳۸۱
7. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
پدیدآورنده: Nachum Dershowitz, Naomi Lindenstrauss )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
8. Fields of Logic and Computation
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. Fields of Logic and Computation II
پدیدآورنده: / Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. Fields of Logic and Computation II
پدیدآورنده: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
12. Fields of logic and computation
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer science, Mathematics,Information theory,Formal methods (Computer science)
رده :
QA76
.
9
.
M35F54
2010
13. Language, Culture, Computation
پدیدآورنده: \ Nachum Dershowitz, Ephraim Nissan (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational linguistics,زبان‌شناسی کامپیوتری,a03,a03
رده :
P
98
.
L32
2014
E-Book
,
14. Language, Culture, Computation. Computational Linguistics and Linguistics
پدیدآورنده: / Nachum Dershowitz, Ephraim Nissan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
15. Language, Culture, Computation. Computing of the Humanities, Law, and Narratives
پدیدآورنده: / Nachum Dershowitz, Ephraim Nissan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
16. The evolution of programs
پدیدآورنده: Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Programmeren (computers),Programmierung EDV.
رده :
QA76
.
6
N334
1983
17. Theory and Technology-Language, Culture, Computation. Computing
پدیدآورنده: / Nachum Dershowitz, Ephraim Nissan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
18. Verification
پدیدآورنده: / Nachum Dershowitz (ed.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software -- Verification
رده :
QA
76
.
76
.
V47V48
2003
19. Verification:
پدیدآورنده: edited by Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
20. Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
پدیدآورنده: Nachum Dershowitz )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2772
